#include <bwio.h>
#include <ts7200.h>
#include <user.h>

void NameServer();
void IdleTask();
void ClockServer();

void UserInit() {
  Create(4, &NameServer);
  Create(0, &IdleTask);
  Create(4, &ClockServer);

  Exit();
}
